@CONFERENCE{RodDCamRossaColombo:CDC:2015,

author = {Rodrigues de Campos, G.,  and Della Rossa, F. and Colobo, A.},

title = {Optimal and least restrictive supervisory control:  safety verification methods  for human-driven vehicles at traffic intersections },

booktitle = { $54^{th}$ IEEE Conference on Decision and Control},

year = {2015}, }

---